#include <stdint.h>
#include <x86intrin.h>

static inline uint64_t perf_counter(void)
{
    __asm__ __volatile__("" : : : "memory");
    uint64_t r =  __rdtsc();
    __asm__ __volatile__("" : : : "memory");
    return r;
}




